Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
-
Alexandre Hamez (ISAE, Toulouse) visited us on March 26-28, 2014. He gave a seminar entitled “Symbolic Model Checking and Hierarchical Set Decision Diagrams”.
-
Chris Myers (University of Utah, USA) visited us from July 7–11, 2014. He gave a talk entitled “Genetic Design Automation” on July 8, 2014.
-
The annual CONVECS seminar was held in Herbelon (France) on June 23-25, 2014. The following invited scientists attended the seminar:
-
Laurence Pierre (TIMA, Grenoble, France) gave on June 23, 2014 a talk entitled “Verification of Correctness and Safety Requirements for SoC Models”.
-
Matthias Güdemann (Systerel, Aix-en-Provence) gave on June 24, 2014 a talk entitled “Industrial Formal Methods”.
-
Lom Messan Hillah (LIP6, Paris) gave on June 25, 2014 a talk entitled “Formal Methods in Model-Driven Development and Model-Driven Development in Formal Methods: Practice Makes a Better Bridge”.
-